#ifndef _KRLINTRPT_H_
#define _KRLINTRPT_H_

#include <krlintrpt_t.h>

intisrdsc_t * krl_add_isrhandle (void * device, inthandle_t handle, uint_t ifdidx);

drvstus_t krl_enable_irq (uint_t ifdidx);

drvstus_t krl_disable_irq (uint_t ifdidx);

#endif